Listar por autor "Diéguez Lodeiro, Martín"
Mostrando ítems 1-2 de 2
-
Linear-Time Temporal Answer Set Programming
Aguado, Felicidad; Cabalar, Pedro; Diéguez Lodeiro, Martín; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción (Cambridge University Press, 2023)[Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs ... -
Temporal Answer Set Programming
Diéguez Lodeiro, Martín (2015)[Abstract] Commonsense temporal reasoning is full of situations that require drawing default conclusions, since we rarely have all the information available. Unfortunately, most modal temporal logics cannot accommodate ...